A Method-Based Tool for the Specification of Multiple Views of System Requirements
نویسندگان
چکیده
This article presents a tool that has been developed for the creation of multiple views of system requirements specification. The key component for developing the tool is a metamodel that enables to represent the different views, each one based on a particular method and technique. The primary benefits of the tool include: using two or more techniques in a system’s specification; translating requirements representations created in one or more techniques into another set of techniques; preparing complete documentations; etc. The article presents the metamodel utilized, the main aspects of the tool, and a short system example demonstrating the use of the metamodel and of the tool.
منابع مشابه
An automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملOperation of Multiple Reservoirs by utilization of Simulation Method for Analysis of System Dynamics
In this paper the operation of multiple reservoirs by the utilization of analysis method of the system dynamics is considering and this analysis method is based on the feedback and object oriented events. The goal of this research is presentation of a new method by utilization of system dynamicity technique for simulation of the reservoir. This software is a product of Ventana Company and the e...
متن کاملRelevance of Public Health BSc Curriculum to Job Requirements and Health System Expectations: Views of Graduates on Courses Syllabi and Content
Introduction: Public health experts play an important role in implementation of health centers’ programs. The comments and suggestions of graduate employees of this field about the level of functionality of the curriculum to professional requirements needed by graduates could help determine the shortcomings. This study aimed to investigate the level of coordination of curriculum and syllabus of...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملRobust Agent Based Distribution System Restoration with Uncertainty in Loads in Smart Grids
This paper presents a comprehensive robust distributed intelligent control for optimum self-healing activities in smart distribution systems considering the uncertainty in loads. The presented agent based framework obviates the requirements for a central control method and improves the reliability of the self-healing mechanism. Agents possess three characteristics including local views, decentr...
متن کامل